Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 7.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000049 | Andrés Aristizábal [Colombie] ; Dariusz Biernacki [Pologne] ; Sergueï Lenglet [France] ; Piotr Polesiuk [Pologne] | Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation |
| 000302 | Dariusz Biernacki [Pologne] ; Sergueï Lenglet [France] ; Piotr Polesiuk [Pologne] | Bisimulations for Delimited-Control Operators |
| 000B05 | Dariusz Biernacki [Pologne] ; Sergueï Lenglet [France] | Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus |
| 000D19 | Dariusz Biernacki [Pologne] ; Sergueï Lenglet [France] | Sound and Complete Bisimilarities for Call-by-Name and Call-by-Value Lambda-mu Calculus |
| 000F03 | Dariusz Biernacki [Pologne] ; Sergueï Lenglet [France] | Environmental Bisimulations for Delimited-Control Operators |
| 001020 | Dariusz Biernacki [Pologne] ; Sergueï Lenglet [France] | Environmental Bisimulations for Delimited-Control Operators |
| 001589 | Dariusz Biernacki [Pologne] ; Sergueï Lenglet [France] | Environmental Bisimulations for Delimited-Control Operators |
| This area was generated with Dilib version V0.6.33. |  |